Logical Inference of Horn Clauses in Petri Net Models

机译：Petri网模型中Horn子句的逻辑推理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Lin, C.; Chaudhury, A.; Whinston, A. B.; Marinescu, Dan C.;
展开▼
作者单位

展开▼
年度 1991
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Logical inference of Horn clauses in Petri net models [J] . Lin C., Chaudhury A. IEEE Transactions on Knowledge and Data Engineering . 1993,第3期

机译：Petri网模型中Horn子句的逻辑推断
2. A Petri Net Approach for Logical Inference of Clauses [J] . JOGESH K MUPPALA, CHUANG LIN IETE Journal of Research . 1996,第3期

机译：子句逻辑推理的Petri网方法
3. Automatic Web service composition based on Horn clauses and Petri nets [J] . Xianfei Tang, Changjun Jiang, Mengchu Zhou Expert Systems with Application . 2011,第10期

机译：基于Horn子句和Petri网的自动Web服务组合
4. Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models [C] . Tang, Xianfei, Jiang, . 2007

机译：Petri网模型中基于Horn子句逻辑推理的自动Web服务组合
5. ANALYSIS OF DISTRIBUTED SYSTEM SOFTWARE DESIGN BASED ON STRUCTURED PETRI NET MODEL (PERFORMANCE, PETRI NET) [D] . CHOU, CHING-ROUNG 1986

机译：基于结构化PETRI NET模型（性能，PETRI NET）的分布式系统软件设计分析
6. PEPN-GRN: A Petri net-based approach for the inference of gene regulatory networks from noisy gene expression data [O] . Deepika Vatsa, Sumeet Agarwal 2021

机译：Pepn-Grn：一种基于PETRI网络的基因净途径从嘈杂的基因表达数据推动基因监管网络
7. Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models [O] . Xianfei Tang, Changjun Jiang, Zhijun Ding 2015

机译：基于petri网模型中Horn子句逻辑推理的Web服务自动组合

Logical Inference of Horn Clauses in Petri Net Models

著录项

引文网络

相似文献

相关主题

期刊订阅